Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
351	UK GLASSFrom 6 April till 14 September 2014, the glass museum GLAZENHUIS in Lommel presents an exhibition on contemporary artistic glass from the United Kingdom. The GlazenHuis organizes two t Add to Reading List Source URL: www.michaelpetry.net Language: English - Date: 2014-11-25 09:57:42 Theory of computation British people Mathematical logic Physical cosmology Alan Turing Algorithm Multiverse Entscheidungsproblem Digital physics Mathematics Computability theory Theoretical computer science
352	PDF Document Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 16:20:59 Operator theory Algebra Computability theory Lambda calculus Theoretical computer science Spectral theory of ordinary differential equations Decomposition of spectrum Mathematics Mathematical analysis Spectral theory
353	Undecidability in Number Theory Bjorn Poonen D Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-02-04 14:23:41 Group theory Field theory Computability theory Diophantine set Number theory Recursively enumerable set Polynomial Elliptic curve Finite field Mathematics Abstract algebra Diophantine equations
354	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
355	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume45.html 31 pages A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Rep Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-09-12 20:15:55 Complexity classes Computability theory Models of computation Probabilistic complexity theory PP IP Oracle machine NP P Theoretical computer science Computational complexity theory Applied mathematics
356	f-calculi and the theory of fexprs John N. Shutt WPI October 2007 Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2007-10-17 10:31:46 Type theory Computability theory Lambda calculus Fexpr Calculus Typed lambda calculus Type constructor Theoretical computer science Mathematical logic Applied mathematics
357	arXiv:physics/0508010v2 [physics.gen-ph] 26 SepKolmogorov Complexity, String Information, Panspermia and the Fermi Paradox V.G.Gurzadyan Dipartimento di Fisica, Universit` Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-02 00:59:26 Genomics Biology Randomness Computability theory Descriptive complexity Kolmogorov complexity Complexity Human genome Genome Theoretical computer science Genetics Genetic mapping
358	Errata and Addenda for “On Abstraction and Informatics” [12] Tom Verhoeff October 2011, Augustp.7, below (5) The definition of morphism composition ◦ should read Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-08-31 05:46:37 Computability theory Recursion Functions and mappings Lambda calculus Fixed-point combinator Combinatory logic ML Function Iterated function Mathematics Theoretical computer science Software engineering
359	Termination Proofs Ordinal Ranking Length Functions Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-25 09:59:32 Theoretical computer science Functions and mappings ELEMENTARY Ordinal number Termination analysis Function Mathematics Computability theory Mathematical logic
360	Statistical Properties of Oracles 1,2 1 Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2009-06-24 14:23:24 Factor oracle Oracle machine Oracle Database Oracle Corporation Oracle Trie Suffix tree Information technology management Software Computing Computability theory

UPDATE